Testing permutation properties through subpermutations
نویسندگان
چکیده
منابع مشابه
Testing permutation properties through subpermutations
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this combinatorial structure, by considering only a randomly chosen substructure of sufficiently large, but constant size. These problems are called property testing and parameter testing, where a property or parameter is said...
متن کاملPattern Avoidance Classes and Subpermutations
Pattern avoidance classes of permutations that cannot be expressed as unions of proper subclasses can be described as the set of subpermutations of a single bijection. In the case that this bijection is a permutation of the natural numbers a structure theorem is given. The structure theorem shows that the class is almost closed under direct sums or has a rational generating function.
متن کاملFast Testing of Critical Properties through Passive Testing
We present a novel methodology to perform passive testing. The usual approach consists in recording the trace produced by the implementation under test and trying to find a fault by comparing this trace with the specification. We propose a more active approach to passive testing where the minimum set of (critical) properties required to a correct implementation may be explicitly indicated. In s...
متن کاملCombinatorial Properties of Permutation Tableaux
Abstract. We give another construction of a permutation tableau from its corresponding permutation and construct a permutation-preserving bijection between 1-hinge and 0-hinge tableaux. We also consider certain alignment and crossing statistics on permutation tableaux that are known to be equidistributed via a complicated map to permutations that translates those to occurrences of certain patte...
متن کاملPartial Synchronization through Permutation Symmetry
In this paper we consider the problem of the existence and stability of invariant manifolds in a network of diffusively coupled identical systems. It is shown that the existence of a symmetry in the network implies the existence of linear invariant manifolds. This correspond to so called partial synchronization, or clusterization, a phenomenon occurring when some subsystems from the network ope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.03.002